In cmds to make src/Makefile, chmod Makefile.new before moving it.

diff --git a/configure1.in b/configure1.in
index bcc856c5920aa2f28ef67837b4f3e4d79cfa72c9..5218a22efa9b3ace4f31267c679a7707140820eb 100755 (executable)
--- a/configure1.in
+++ b/configure1.in
@@ -1413,8 +1413,9 @@ makefile_command='echo "creating src/Makefile";
 '      -e '\''s/^ /    /'\''                                   '\
 '      | sed -n -e '\''/^..*$/p'\''                            '\
 '      > Makefile.new;
+dnl There is a window of lossage if you mv Makefile.new before chmoding it.
+    chmod 444 Makefile.new;
     mv -f Makefile.new Makefile;
-    chmod 444 Makefile;
     rm -f junk.c junk.cpp;
 )'
 eval `echo $makefile_command`